How to do Implicit Differentiation